Books by author Tobias Nipkow

Showing 1 – 11 out of 11 results

1. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2016

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
2. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2014

   
   

   Low in stock at our supplier - Shipping in 4 days

   Language: English

   Binding: Hardback

   74.66 €

   Sale 4 %

   You save 3.68 €

   Buy
3. 

   Isabelle

   Lawrence C. Paulson, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
4. 
   Pre-order

   Term Rewriting and All That

   Tobias Nipkow | Cambridge University Press, 1998

   
   

   Reprint - Date unknown

   Language: English

   Binding: Hardback

   76.78 €

   Pre-order
5. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   115.42 €

   Buy
6. 

   Isabelle/HOL

   Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   63.69 €

   Buy
7. 

   Rewriting Techniques and Applications

   Tobias Nipkow | Springer, Berlin, 1998

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
8. 

   Theorem Proving in Higher Order Logics

   Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
9. 

   FM 2006: Formal Methods

   Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   115.42 €

   Buy
10. 

    Higher-Order Algebra, Logic, and Term Rewriting

    Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    58.56 €

    Buy
11. 

    Types for Proofs and Programs

    Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    58.56 €

    Buy

For a small fee elegant gift-wrap is available. Find out more